不同于|余额_PolygonzkEVMProver

篇首语：本文由编程笔记#小编为大家整理，主要介绍了Polygon zkEVM Prover相关的知识，希望对你有一定的参考价值。

前序博客有&＃xff1a;

• ZK-Rollups工作原理
• Polygon zkEVM——Hermez 2.0简介
• Polygon zkEVM网络节点
• Polygon zkEVM 基本概念

Polygon zkEVM Prover开源代码见&＃xff1a;

• https://github.com/0xPolygonHermez/zkevm-prover&＃xff08;C&＃43;&＃43;&＃xff0c;生产版本&＃xff09;
• https://github.com/0xPolygonHermez/zkevm-proverjs&＃xff08;Javascript&＃xff0c;参考版本&＃xff09;

Polygon zkEVM Prover负责&＃xff1a;

• 生成zkEVM proof。

Polygon zkEVM Prover程序中提供了3个RPC服务&＃xff1a;

• 1&＃xff09;Prover服务&＃xff1a;
  
  • 1.1&＃xff09;调用Prover component来执行输入数据&＃xff08;为a batch of EVM transactions&＃xff09;、计算the resulting state、基于PIL多项式定义及其约束&＃xff0c;为该计算生成证明。
  • 1.2&＃xff09;当被Prover服务调用时&＃xff0c;Executor component会联合14个状态机来对输入数据进行处理&＃xff0c;以生成证明所需的evaluations of the committed polynomials。每个状态机生成各自的computation evidence data&＃xff0c;而更复杂的计算则委托给下一级的状态机。
  • 1.3&＃xff09;Prover component调用Stark component来生成 Executor状态机所commit多项式的证明。
  • 1.4&＃xff09;Prover服务的接口定义在文件zk-prover.proto文件内。
• 2&＃xff09;Executor服务&＃xff1a;
  
  • 2.1&＃xff09;调用Executor component来执行输入数据&＃xff08;为a batch of EVM transactions&＃xff09;、计算the resulting state。注意&＃xff0c;不同于Prover服务&＃xff0c;Executor服务不生成证明。
  • 2.2&＃xff09;提供了一种快速方法&＃xff0c;来检查所提议的batch of transactions构建正确&＃xff0c;且符合单个batch证明所需的工作量要求。
  • 2.3&＃xff09;当被Executor服务调用时&＃xff0c;Executor component仅使用Main状态机&＃xff0c;因为此处不需要生成证明&＃xff0c;也就不需要committed polynomials。
  • 2.4&＃xff09;Executor服务的接口定义在文件executor.proto文件内。
• 3&＃xff09;StateDB服务&＃xff1a;
  
  • 3.1&＃xff09;提供了接口来访问the state of the system&＃xff08;a Merkle tree&＃xff09;和存储状态的数据库。
  • 3.2&＃xff09;由executor和prover使用&＃xff0c;作为单一状态数据源&＃xff0c;可用于获取状态详情&＃xff0c;如账号余额。
  • 3.3&＃xff09;StateDB服务的接口定义在statedb.proto文件内。

testvectors/config.json 文件中包含了配置不同Prover可选项的配置参数&＃xff0c;最重要的相关参数有&＃xff1a;

若想运行a proof test&＃xff0c;需做如下配置&＃xff1a;

• 1&＃xff09;修改config.json文件中的"runFile"参数为“true”&＃xff0c;其它参数必须配置为“false”。
• 2&＃xff09;将“inputFile”参数指向所需测试的input test data&＃xff0c;testvectors/input_executor.json即为一个测试文件。
• 3&＃xff09;在testvectors文件夹内运行$ ../build/zkProver 来启动Prover。
• 4&＃xff09;输出的proof文件存储在“outputPath”配置参数指定的文件夹内。